//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_KDBG_H__
#define __ELASTOS_KDBG_H__

EXTERN_C int CDECL dprintf (const char *, ...);
EXTERN_C int CDECL vdprintf(const char *, va_list);

#endif // __ELASTOS_KDBG_H__
